1. Algebraic methodology and software technology :
پدیدآورنده: AMAST '93. M. Nivat ... (ed.). Publ. in collab. with the British Computer Society
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Abstract data types (Computer science) -- Congresses,Software engineering -- Congresses,Softwareentwicklung
2. Foundations of software science and computation structures : First International Conference, FoSSaCS'98 held as part of the joint European Conference on Theory and Practics of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
پدیدآورنده: Maurice Nivat )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
1378
3. Litt`erature de notre temps
پدیدآورنده: / par Joseph Majault , Jean Maurice Nivat ,Charles Geronimi,Majault
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: French literature-- 20th cent .--Hist . and crit
رده :
PQ
305
.
M27
1966
4. Resolution of equations in algebraic structures
پدیدآورنده: ed. by Hassan Aït-Kaci [and] Maurice Nivat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Abstract.,Equations -- Numerical solutions.
5. Tree automata and languages
پدیدآورنده: edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
T74
1992
